Infinite Intersection of Open Sets that is Closed Proof